{log}

["{log}: A Logic Programming Language with Finite Sets", A

Dovier et al, Proc 8th Intl Conf Logic Prog, June 1991,

pp.111-124].